Espresso heuristic logic minimizer